Unwinding biological systems

نویسندگان

  • Alberto Casagrande
  • Carla Piazza
چکیده

Unwinding conditions have been fruitfully exploited in Information Flow Security to define persistent security properties. In this paper we investigate on their meaning and possible uses in the analysis of biological systems. In particular, we elaborate on the notion of robustness and propose some instances of unwinding over the process algebra Bio-PEPA and over hybrid automata. We exploit such instances to analyze two case-studies: Neurospora Crassa circadian system and Influenza kinetics models.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Repetitive RNA unwinding by RNA helicase A facilitates RNA annealing

Helicases contribute to diverse biological processes including replication, transcription and translation. Recent reports suggest that unwinding of some helicases display repetitive activity, yet the functional role of the repetitiveness requires further investigation. Using single-molecule fluorescence assays, we elucidated a unique unwinding mechanism of RNA helicase A (RHA) that entails disc...

متن کامل

Single-molecule visualization of RecQ helicase reveals DNA melting, nucleation, and assembly are required for processive DNA unwinding.

DNA helicases are motor proteins that unwind double-stranded DNA (dsDNA) to reveal single-stranded DNA (ssDNA) needed for many biological processes. The RecQ helicase is involved in repairing damage caused by DNA breaks and stalled replication forks via homologous recombination. Here, the helicase activity of RecQ was visualized on single molecules of DNA using a fluorescent sensor that directl...

متن کامل

Coinductive unwinding of security-relevant hyperproperties: extended version

Unwinding relations have been widely used to prove that finite systems are secure with respect to a variety of noninterference policies. The latter are prominent instances of security-relevant hyperproperties. As hyperproperties are defined on potentially infinite systems, a new mathematical development is needed in order to (re)use unwinding relations for generic verification of securityreleva...

متن کامل

Coinductive Unwinding of Security-Relevant Hyperproperties

Unwinding relations have been widely used to prove that finite systems are secure with respect to a variety of noninterference policies. The latter are prominent instances of security-relevant hyperproperties. As hyperproperties are defined on potentially infinite systems, a new mathematical development is needed in order to (re)use unwinding relations for generic verification of security-relev...

متن کامل

Nucleic acid unwinding by hepatitis C virus and bacteriophage t7 helicases is sensitive to base pair stability.

Helicases are motor enzymes that convert the chemical energy of NTP hydrolysis into mechanical force for motion and nucleic acid strand separation. Within the cell, helicases process a range of nucleic acid sequences. It is not known whether this composite rate of moving and opening the strands of nucleic acids depends on the base sequence. Our presteady state kinetic studies of helicases from ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 587  شماره 

صفحات  -

تاریخ انتشار 2015